builtin commands in a shell pipeline